圈論の圖 : 圖式と繪算
圖式 (diagram。pasting diagram)
一意に存在する$ \exist!射を點線の矢印で描く
普遍 (圈論)性に於いて、仲介射 (mediating arrow) と呼んだりする 添へ字圈 (index 圈) からの函手とも見做せる 定義
重複を含むかもしれない$ n個の對象$ a,\dots\in|{\bf C}|と$ m個の射$ f,\dots\in {\rm Hom}_{\bf C}の集まり$ Dが圖式であるとは、對象に關する射の存在に就いての$ n+m項述語$ P(a,\dots,f,\dots)が有ってこれを滿たすものを言ふ
或る小さい圈$ \bf Jを添へ字圈 (index category。scheme) と呼ぶ事にする。或る函手$ {\bf J}\to{\bf C}は$ \bf Cでの圖式と見做せる。函手圈$ {\bf C}^{\bf J}は圖式の圈と見做せる 圖の方向は暗默に決める。「左から右、上から下」等
一點圈からの函手を考へれば、對象を線、射を點として書ける ? string 圖を、TeX を自分で書かなくても畫像として簡單に描ける application は無いのか???
粒子は線、相互作用は點